$\forall$$r$,$s$:rationals. ($r$ $\ast$ $s$) $\in$ rationals